不変条件 invariant

不変条件とは、コンピュータプログラムの理論における用語で、ある処理の間、その真理値が真のまま変化しない述語 predicateであり、その処理シーケンスに対して不変であるという。